Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
501	Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:17:20 Formal methods Theoretical computer science Logic in computer science Systems engineering Formal verification Specification Formal specification Verification Simulink Device driver synthesis and verification
502	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
503	ˇ ´I SGALL – Curriculum Vitae JIR Personal Address: Computer Science Institute of the Charles University, Faculty of Mathematics and physics, Malostransk´e n´ am. 25, CZPraha 1, Czech Republic. Phone: +420-2 Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2016-03-18 04:23:46 Theoretical computer science European Association for Theoretical Computer Science Algorithm European Symposium on Algorithms Oscar H. Ibarra Ernst Mayr
504	Aesthetic Integration Limited  1 Fore Street London, EC2Y 9DT  United Kingdom March 16th, 2016 Add to Reading List Source URL: aestheticintegration.com Language: English Theoretical computer science Formal methods Financial markets Logic in computer science Algorithmic trading Formal verification Algorithm Verification
505	Tight Bounds for Distributed Selection Fabian Kuhn Institute of Theoretical Computer Science ETH Zurich, Switzerland Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:23 Analysis of algorithms Probabilistic complexity theory Randomized algorithm Selection algorithm B-tree Oblivious data structure Maximal independent set
506	Improving the Performance of Collective Operations in MPICH Rajeev Thakur and William Gropp Mathematics and Computer Science Division Argonne National Laboratory 9700 S. Cass Avenue Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Theoretical computer science Parallel computing Message Passing Interface MPICH Computability theory Algorithm Recursion Distributed computing K-nearest neighbors algorithm
507	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
508	Learning the Synergy of a New Teammate Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and Abstract— In many Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:36 Algorithm Mathematical logic Theoretical computer science Graph Simulated annealing Machine learning Connected component Robotics
509	Sebastian U. Stich MADALGO & CTIC Summer SchoolInstitute of Theoretical Computer Science Add to Reading List Source URL: sstich.ch Language: English - Date: 2011-09-05 06:18:42 Evolutionary algorithms Mathematical optimization Operations research Stochastic optimization CMA-ES Convex optimization Global optimization Gradient descent Evolution strategy Gaussian adaptation Derivative-free optimization Gradient method
510	NP-complete Problems and Physical Reality arXiv:quant-ph/0502072v2 21 Feb 2005 Scott Aaronson∗ Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:08 Computational complexity theory Complexity classes Quantum computing Theoretical computer science Mathematical optimization Quantum algorithm NP P versus NP problem BQP PP Low Time complexity

UPDATE